Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·20h
📊Static Analysis
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·19h·
Discuss: Hacker News
🌳Persistent Data Structures
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·17h
📜Proof Carrying Code
An easy-to-implement, arena-friendly hash map
nullprogram.com·3h·
Discuss: Lobsters
🔐Hash Functions
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
How To Solve Every Programming Problem
blog.codeminer42.com·5h
📐Interval Arithmetic
Completed rewiring of power supply into the IBM 1132 printer
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Reverse-Engineering Game Boy Advance Games (and General Advice)
nytpu.com·1d
🎮Game Decompilation
The Amaranth hardware description language
amaranth-lang.org·21h·
Discuss: Hacker News
🔍FPGA Verification
Learning About Threads: An Essential Guide for Developers
hackernoon.com·1d
🔩Systems Programming
C and VLAs (Variable Length Arrays)
subethasoftware.com·7h
🔩Systems Programming
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Radshield: Software Radiation Protection for Commodity Hardware in Space
radshield.github.io·7h·
Discuss: Hacker News
🛡️Error Boundaries
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·10h·
Discuss: Hacker News
🌐Protocol Synthesis
Ada on RP2350
synack.me·1d
🎯Emulation Accuracy
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·20h
✨Effect Handlers
Alignment Monitoring
arxiv.org·2d
🎯Performance Proofs